x86: use key handler scratch buffer in dump_irqs()
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 2 Mar 2010 14:05:35 +0000 (14:05 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 2 Mar 2010 14:05:35 +0000 (14:05 +0000)
commit24c2f2ccee02f7bf83bf8a9ffdb204cf8d40c653
tree41b26a0aecec2bc0de527fb1b1c35bff5a614137
parent3d3b3e96aaeca8317bc76998a9d69753f73a5378
x86: use key handler scratch buffer in dump_irqs()

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/irq.c